Proceedings 18th Refinement Workshop

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

HPPC'09 Workshop Proceedings

Efficient NoC is crucial for communication among processing elements in a highly parallel processing systems on chip. Mapping cores to slots in a NoC platform and designing efficient routing algorithms are two key problems in NoC design. Source routing offers major advantages over distributed routing especially for regular topology NoC platforms. But it suffers from a serious drawback of overhe...

متن کامل

Ubiquitous Commerce WOrkshop Proceedings

Ubiquitous computing offers many varied applications but will probably have its most significant impact on day-byday living. "The most profound technologies are those that disappear," wrote Mark Weiser. "They weave themselves into the fabric of everyday life until they are indistinguishable from it." Over the past decade, researchers have sought to understand the ways ubiquitous technologies wo...

متن کامل

Workshop Proceedings Volume Editors

Supply chain units are connected by both physical and information flows. Electronic services are used to perform a large part of activities in modern supply chains. The traditional supply chain configuration models pay the main attention to optimization of the physical flows. However, it is equally important to ensure that the physical units have appropriate information processing and logistics...

متن کامل

INEX 2011 Workshop Pre-proceedings

The goal of the INEX 2011 Book Track is to evaluate approaches for supporting users in reading, searching, and navigating book metadata and full texts of digitized books. The investigation is focused around four tasks: 1) the Social Search for Best Books task aims at comparing traditional and user-generated book metadata for retrieval, 2) the Prove It task evaluates focused retrieval approaches...

متن کامل

INEX 2010 Workshop Pre - proceedings

This paper gives an overview of the INEX 2010 Ad Hoc Track. The main goals of the Ad Hoc Track were three-fold. The first goal was to study focused retrieval under resource restricted conditions such as a small screen mobile device or a document summary on a hitlist. The leads to variants of the focused retrieval tasks that address the impact of result length/reading effort, thinking of focused...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2018

ISSN: 2075-2180

DOI: 10.4204/eptcs.282.0